Universal algebra - PDFSEARCH.IO - Document Search Engine

Universal algebra
Results: 475

#	Item
351	SARDINIA Summer season 2014 by IFB2 S.a.s Add to Reading List Source URL: www.storex.it Language: English - Date: 2014-06-11 03:30:10 Model theory Reduct Universal algebra Per Room Sardinia Hotel Rate Mathematics Hospitality industry Algebra
352	Revisiting the categorical interpretation of dependent type theory Pierre-Louis Curien πr2 team, PPS Laboratory, CNRS, Universit´ e Paris Diderot, and INRIA, France Add to Reading List Source URL: ncatlab.org Language: English Metalogic Category theory Deduction Structure Universal algebra Model theory Symbol Entailment Monoid Abstract algebra Mathematics Logic
353	Enhancement of charged macromolecule capture by nanopores in a salt gradient Tom Chou UCLA Depts. of Biomathematics & Mathematics Add to Reading List Source URL: www.ima.umn.edu Language: English - Date: 2011-10-21 11:14:08 Universal algebra Nanopore Nanotechnology Model theory Structure
354	Automated Verification of Selected Equivalences for Security Protocols Bruno Blanchet ´ cole Normale Sup´ CNRS, E erieure, Paris Add to Reading List Source URL: prosecco.gforge.inria.fr Language: English - Date: 2012-10-01 07:25:57 Boolean algebra Propositional calculus Mathematics Theoretical computer science Model theory Π-calculus Universal quantification Process calculus Interpretation Logic Mathematical logic Semantics
355	Journal of Universal Computer Science, vol. 7, no[removed]), [removed]submitted: 1/9/00, accepted: [removed], appeared: [removed]  Springer Pub. Co. Modeling Sequences within the RelView System Rudolf Berghammer Add to Reading List Source URL: www.jucs.org Language: English - Date: 2006-11-02 06:23:21 Mathematical logic Abstract algebra Model theory Algebraic structures Finitary relation Equivalence relation Vector space Relational algebra FO Mathematics Algebra Mathematical structures
356	AAA62 – Schedule of Lectures The talks are scheduled for 20 minutes in length, followed by a 5 minute discussion period and a 5 minute break in order to allow participants to change sessions. Friday, June 15th, Morning Add to Reading List Source URL: www.algebra.uni-linz.ac.at Language: English - Date: 2001-06-12 05:58:14 Universal algebra Lattice Congruence relation Representation theory Mathematics Algebraic structures Algebra
357	ALGEBRAIC COLIMIT CALCULATIONS IN HOMOTOPY THEORY USING FIBRED AND COFIBRED CATEGORIES RONALD BROWN AND RAFAEL SIVERA Abstract. Higher Homotopy van Kampen Theorems allow some colimit calculations of certain homotopical i Add to Reading List Source URL: pages.bangor.ac.uk Language: English - Date: 2009-04-24 09:00:50 Fibred category Universal property Limit Adjoint functors Functor Cone Sheaf Coproduct Groupoid Category theory Abstract algebra Mathematics
358	Gibbs Sampling in Open-Universe Stochastic Languages Nimar S. Arora Computer Science Dept. University of California Berkeley, CA 94720 Add to Reading List Source URL: www.cs.berkeley.edu Language: English - Date: 2010-06-13 04:17:10 Structure Universal algebra Probability theory Logic Mathematics Mathematical analysis Model theory
359	IEEE TRANSACTIONS ON INFORMAI10N THEORY, VOL. 39, NO.3, MAY[removed]Universal Approximation Bounds for Superpositions of a Sigmoidal Function Add to Reading List Source URL: deeplearning.cs.cmu.edu Language: English - Date: 2013-10-06 20:58:53 Linear algebra Joseph Fourier Functions and mappings Mathematical series Hilbert space Fourier transform Vector space Fourier series Almost periodic function Mathematical analysis Mathematics Fourier analysis
360	Владикавказский математический журнал 2009, Том 11, выпуск 3, С. 8–9 UDC[removed]WEAKLY ℵ1 -SEPARABLE QUASI-COMPLETE ABELIAN p-GROUPS ARE BOUNDED P. V. Danchev Add to Reading List Source URL: vmj.ru Language: English - Date: 2015-04-04 19:50:56 Infinite group theory Abelian group Niels Henrik Abel Separable space Basic subgroup Pure subgroup Torsion SQ-universal group Torsion subgroup Abstract algebra Group theory Algebra

UPDATE